命題 - 判断を言語的に表現したもの
from 命題
〔論〕判断を言語的に表現したもの。論理学では真偽を問いうる有意味な文をさす。また、その文が表現する 意味内容をさす場合もある。
$ A \Rightarrow B
$ A \Leftarrow B
$ A \iff B